#include "syscall.h"

int
main(int argc,char* argv[])
{
  int i;
  
  for (i=0;i<5;i++)
    Write(argv[1],14,1);   /* argv[1] = "Running ExecV\n" */

  Exit(0);
  Halt();
  /* not reached */
}
